B, C, K, W system
B,C,K,Wシステム
Combinatory logic
SKI combinator calculus
Lambda calculus
To Mock a Mockingbird
B, C, K, W system - Wikipedia